A realist semantics for Cocchiarella's ${\bf T}^\ast$.
نویسندگان
چکیده
منابع مشابه
Improving the Semantics of Drug Prescriptions with a Realist Ontology
Electronic prescriptions are supported as a means to reduce adverse drug events, but the ambiguities and overspecificities of prescription semantics along with their lack of standardization reduce adoption, limit interoperability and are potential sources of error. Ontologies in the OBO Foundry, founded on realist methodology, have been successful in fostering the logical, scientifically accura...
متن کاملTAST-Trademark Application Assistant
In this paper, we introduce a novel Trademark Application Assistant (TAST) that aims to speed up the process of a successful trademark application. The core of TAST is a web-browser based integrated image content editing and similarity-based retrieval system accessing local and remote databases of coded trademark images. Potential users of TAST include the party that initiates a request for tra...
متن کاملThe use of non-realist semantics within Knowledge Representation
The role of classical (Tarskian) semantics within logic-based Knowledge Representation has come under attack even from some within the symbolic AI camp, for example McDermott ((McD87]) and Kowalski ((Kow93]). The alternative seems to be some more procedural account of the meaning of the logical formalisms used and the operations based on it. In neither case is the alternative suuciently worked ...
متن کاملDelay tolerant (delto) distributed TAST codes for cooperative wireless networks
In a distributed cooperative communication system, as the distances between different relay nodes and the receiving nodes may be different, so the performances of distributed space time codes at receiving nodes may badly be degraded if timing synchronization is not assured. In this article, extending the work of Damen et al. we introduce the design of distributed threaded algebraic space-time (...
متن کاملBf Theory on a Brane
An alternative approach to introducing gravitational dynamics on a brane embedded in a higher dimensional spacetime is presented. The brane is treated as a boundary of a higher dimensional manifold in which the bulk action is described by a metric independent topological quantum field theory. The example of a five dimensional non-Abelian BF theory with a boundary brane is considered. A natural ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1980
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882936